Using Model Checking for Analyzing Distributed Power Control Problems
نویسندگان
چکیده
1 Institut de Mathématique, Université de Mons, 7000 Mons, Belgium 2Centre de Recherche en Automatique de Nancy (CRAN), Nancy Université, CNRS, 2 Avenue de la Forêt de Haye, 54516 Vandoeuvre-les-Nancy, France 3 Systèmes et Applications des Technologies de l’Information et de l’Energie (SATIE) CNRS, UMR8029-École Normale Supérieure de Cachan, ENS Cachan, France 4Laboratoire des Signaux et Systèmes, CNRS, Supelec, Paris 11, 91190 Gif-sur-Yvette, France 5Laboratoire Spécification & Vérification, ENS Cachan, 94235 Cachan, France 6Department of Computer Science, Aalborg University, 9220 Aalborg, Denmark
منابع مشابه
Model Reduction of a Solid Oxide Fuel Cell (SOFC) for Control Purposes
Fuel cells belong to an avant-garde technology family for a wide variety of applications including micro-power, transportation power, stationary power for buildings and other distributed generation applications. The first objective of this contribution is to find a suitable reduced model of a Solid Oxide Fuel Cell (SOFC). The derived reduced model is then used to design a state estimator. I...
متن کاملModel Predictive Control of Distributed Energy Resources with Predictive Set-Points for Grid-Connected Operation
This paper proposes an MPC - based (model predictive control) scheme to control active and reactive powers of DERs (distributed energy resources) in a grid - connected mode (either through a bus with its associated loads as a PCC (point of common coupling) or an MG (micro - grid)). DER may be a DG (distributed generation) or an ESS (energy storage system). In the proposed scheme, the set - poin...
متن کاملChecking the Sensitivity of Solute Advection- Dispersion Model to Reaction Coefficients and River Hydraulic Properties in the Process of Dissolved Oxygen Simulation
Nowadays, environmental pollutions especially water pollution is increasingly developing. One of the problems of entering the pollutants to rivers is reduction in the concentration of river dissolved oxygen. In order to manage the water resources, amount of dissolved oxygen should be predicted. This study presents a novel equation for simulating the concentration of river dissolved oxygen by ad...
متن کاملFuzzy Control of Fuel Cell Distributed Generation Systems
The operation of Fuel Cell Distributed Generation (FCDG) systems in distribution systems is introduced by modeling, controller design, and simulation study of a Solid Oxide Fuel Cell (SOFC) distributed generation (DG) system. The physical model of the fuel cell stack and dynamic models of power conditioning units are described. Then, suitable control architecture based on fuzzy logic contro...
متن کاملAnalyzing Synchronous Distributed Algorithms
Synchronous distributed systems are those in which there is assumed to be a known upper bound on each processing step, a known upper bound on message transmission and processes have perfectly synchronized physical clocks. When these assumptions hold for a system, execution can be arranged to proceed in synchronous rounds. This paper is a tutorial on modeling and analyzing these systems using fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- EURASIP J. Wireless Comm. and Networking
دوره 2010 شماره
صفحات -
تاریخ انتشار 2010